Theoretical computer science - PDFSEARCH.IO - Document Search Engine

Theoretical computer science
Results: 9916

#	Item
531	Microsoft Word - Create_Performance_Task_Rubric_DRAFTPILOT_JUNE2016.docx Add to Reading List Source URL: bjc.berkeley.edu Language: English - Date: 2016-06-22 00:53:11 Algorithm Mathematical logic Theoretical computer science Abstraction Object Process Methodology Systems engineering
532	Załącznik nr 3 do wytycznych dla rad podstawowych jednostek organizacyjnych do tworzenia nowych i weryfikacji istniejących programów studiów I i II stopnia w UTP w Bydgoszczy Course code Add to Reading List Source URL: cae.utp.edu.pl Language: English - Date: 2014-10-29 05:04:44 Academic transfer Algorithm Mathematical logic Theoretical computer science Search algorithm Course credit
533	Olympiads in Informatics, 2010, Vol. 4, 3–14 © 2010 Institute of Mathematics and Informatics, Vilnius 3 Encouraging Algorithmic Thinking Add to Reading List Source URL: www.mii.lt Language: English - Date: 2015-04-15 03:55:04 Algorithm Mathematical logic Theoretical computer science Computer science Problem solving Australian Informatics Olympiad
534	Exercise 9: It’s Christmas time! Task 1: Self-stabilization survey a) Check out the algorithms from the lecture and the exercises. Make a table, marking each1 of them as one of the following: (i) trivially self-stabili Add to Reading List Source URL: resources.mpi-inf.mpg.de Language: English - Date: 2014-12-16 13:13:08 Edsger W. Dijkstra Fault-tolerant computer systems Theoretical computer science Self-stabilization Cosmina Algorithm Merry Christmas Christmas
535	Optimizing Performance of Stencil Code with SPL Conqueror Alexander Grebhahn, Norbert Siegmund, Sven Apel University of Passau Passau, Germany Add to Reading List Source URL: www.infosun.fim.uni-passau.de Language: English - Date: 2014-01-23 03:14:20 Search algorithms Theoretical computer science Heuristic K-nearest neighbors algorithm Algorithm Configuration Mathematical optimization
536	Dynamic Information Retrieval: Theoretical Framework and Application Marc Sloan and Jun Wang Department of Computer Science University College London Add to Reading List Source URL: arxiv.org Language: English - Date: 2016-01-18 21:11:47 Information retrieval evaluation Information retrieval Relevance feedback Relevance Ranking Dynamic programming Discounted cumulative gain Precision and recall Search engine indexing Tfidf
537	An Integrated Approach to High Integrity Software Verification Andrew Ireland1 , Bill J. Ellis1 , Andrew Cook1 , Roderick Chapman2 , Janet Barnes2 1 Add to Reading List Source URL: www.macs.hw.ac.uk Language: English - Date: 2006-05-16 11:38:59 Formal methods Automated theorem proving Theoretical computer science Logic in computer science SPARK Loop invariant Mathematical proof Automated reasoning Verification condition generator Formal verification Correctness Conjecture
538	Internal draft. Available online from http://www.cl.cam.ac.uk/∼ljw1004 Symmetric action calculi Philippa Gardner and Lucian J. Wischik Add to Reading List Source URL: www.wischik.com Language: English - Date: 2001-08-20 15:53:16 Theoretical computer science Computability theory Logic in computer science Lambda calculus Process calculi Combinatory logic -calculus Substitution Group action Binary relation Equivalence relation FO
539	Computational Complexity of Evolutionary Computation in Combinatorial Optimisation Frank Neumann1 Carsten Witt2 Add to Reading List Source URL: ls11-www.cs.uni-dortmund.de Language: English - Date: 2008-09-30 04:35:29 Theoretical computer science Operations research Computational complexity theory Cybernetics Evolution Mathematical optimization Evolutionary algorithm Algorithm Heuristic Combinatorics Combinatorial optimization Local search
540	Curriculum Vitae of L´ aszl´ o Babai Personal. Born in 1950, Budapest, Hungary. Citizenship: U. S. Current position Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2013-10-23 22:38:43 Combinatorics Discrete mathematics Algebraic combinatorics Theoretical computer science Peter Cameron Computer science Jnos Pach Lszl Babai

UPDATE